作者：(印度)卡马拉(Kamala Krithivasan) (印度)拉玛(Rama R) 译者：孟宇龙 李健利 王宇华 合著者：冯晓宁 卡马拉，Kamala Krithivasan，马德拉斯大学博士，1975年进入印度理工学院马德拉斯分校( IIMT)参加工作。计算机科学与工程学院教授，1992-1995年担任院长，在IIMT有着30余年的教学和研究经验。她的研究方向包括形式语言理论、非传统模型计算(如DNA计算)、膜计算以及离散分层计算等。Kamala教授是1986年福尔布莱特学术奖金的获得者，同时还是印度国家工程学会的会员。 Rama R，1989年在安娜大学获得博士学位。进入印度理工学院马德拉斯分校(IIMT)担任副教授之前， 曾在安娜大学工程学院任教。2006年晋职为教授并任教至今。Rama教授拥有20余年的教学和研究经验，并且指导过四位研...(展开全部)

This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition comes with Gradiance, an online assessment tool developed for computer science. Gradiance is the most advanced online assessment tool ...(展开全部)

This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition comes with Gradiance, an online assessment tool developed for computer science. Gradiance is the most advanced online assessment tool ...(展开全部)

Written to address the fundamentals of formal languages, automata, and computability, An Introduction to Formal Languages and Automata provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. It is designed to familiarize students with the foundations and principles of computer science and to strengthen the...(展开全部)

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proof...(展开全部)

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proof...(展开全部)

This book aims at a middle ground between the introductory books on derivative securities and those that provide advanced mathematical treatments. It is written for mathematically capable students who have not necessarily had prior exposure to probability theory, stochastic calculus, or computer programming. It provides derivations of pricing and hedging formulas (using the pro...(展开全部)